Merge branch 'building-docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 13:05:39 +0000 (13:05 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 13:05:39 +0000 (13:05 +0000)
Document the use of build types when configuing GTK

See merge request GNOME/gtk!1113


Trivial merge